proof by infinite descent - Francés Inglés Diccionario